; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = add i64 712404564, %"SymVar_0"
  %".5" = zext i8 59 to i64
  %".6" = and i64 %".5", 63
  %".7" = lshr i64 %".4", %".6"
  %".8" = add i64 712404564, %"SymVar_0"
  %".9" = zext i8 5 to i64
  %".10" = and i64 %".9", 63
  %".11" = shl i64 %".8", %".10"
  %".12" = or i64 %".7", %".11"
  %".13" = zext i64 %".12" to i128
  %".14" = zext i64 0 to i128
  %".15" = shl i128 %".14", 64
  %".16" = or i128 %".13", %".15"
  %".17" = zext i8 5 to i64
  %".18" = zext i8 0 to i64
  %".19" = shl i64 %".18", 8
  %".20" = or i64 %".17", %".19"
  %".21" = zext i8 0 to i64
  %".22" = shl i64 %".21", 16
  %".23" = or i64 %".20", %".22"
  %".24" = zext i8 0 to i64
  %".25" = shl i64 %".24", 24
  %".26" = or i64 %".23", %".25"
  %".27" = zext i8 0 to i64
  %".28" = shl i64 %".27", 32
  %".29" = or i64 %".26", %".28"
  %".30" = zext i8 0 to i64
  %".31" = shl i64 %".30", 40
  %".32" = or i64 %".29", %".31"
  %".33" = zext i8 0 to i64
  %".34" = shl i64 %".33", 48
  %".35" = or i64 %".32", %".34"
  %".36" = zext i8 0 to i64
  %".37" = shl i64 %".36", 56
  %".38" = or i64 %".35", %".37"
  %".39" = zext i64 %".38" to i128
  %".40" = udiv i128 %".16", %".39"
  %".41" = trunc i128 %".40" to i64
  %".42" = add i64 %".41", %"SymVar_0"
  %".43" = add i64 %".42", %".12"
  %".44" = sub i64 %"SymVar_0", 417914900
  %".45" = add i64 191945078, %".12"
  %".46" = add i64 %".45", 774380697
  %".47" = sub i64 %".44", %".46"
  %".48" = trunc i64 %".47" to i8
  %".49" = zext i8 %".48" to i64
  %".50" = lshr i64 %".47", 8
  %".51" = trunc i64 %".50" to i8
  %".52" = zext i8 %".51" to i64
  %".53" = shl i64 %".52", 8
  %".54" = or i64 %".49", %".53"
  %".55" = lshr i64 %".47", 56
  %".56" = trunc i64 %".55" to i8
  %".57" = zext i8 %".56" to i32
  %".58" = zext i32 %".57" to i64
  %".59" = trunc i64 %".58" to i8
  %".60" = zext i8 %".59" to i32
  %".61" = zext i32 %".60" to i64
  %".62" = trunc i64 %".61" to i8
  %".63" = zext i8 %".62" to i64
  %".64" = shl i64 %".63", 16
  %".65" = or i64 %".54", %".64"
  %".66" = lshr i64 %".47", 24
  %".67" = trunc i64 %".66" to i8
  %".68" = zext i8 %".67" to i64
  %".69" = shl i64 %".68", 24
  %".70" = or i64 %".65", %".69"
  %".71" = lshr i64 %".47", 32
  %".72" = trunc i64 %".71" to i8
  %".73" = zext i8 %".72" to i64
  %".74" = shl i64 %".73", 32
  %".75" = or i64 %".70", %".74"
  %".76" = lshr i64 %".47", 40
  %".77" = trunc i64 %".76" to i8
  %".78" = zext i8 %".77" to i64
  %".79" = shl i64 %".78", 40
  %".80" = or i64 %".75", %".79"
  %".81" = lshr i64 %".47", 48
  %".82" = trunc i64 %".81" to i8
  %".83" = zext i8 %".82" to i64
  %".84" = shl i64 %".83", 48
  %".85" = or i64 %".80", %".84"
  %".86" = lshr i64 %".47", 16
  %".87" = trunc i64 %".86" to i8
  %".88" = zext i8 %".87" to i32
  %".89" = zext i32 %".88" to i64
  %".90" = trunc i64 %".89" to i8
  %".91" = zext i8 %".90" to i32
  %".92" = zext i32 %".91" to i64
  %".93" = trunc i64 %".92" to i8
  %".94" = zext i8 %".93" to i32
  %".95" = zext i32 %".94" to i64
  %".96" = trunc i64 %".95" to i8
  %".97" = zext i8 %".96" to i32
  %".98" = zext i32 %".97" to i64
  %".99" = trunc i64 %".98" to i8
  %".100" = zext i8 %".99" to i64
  %".101" = shl i64 %".100", 56
  %".102" = or i64 %".85", %".101"
  %".103" = zext i64 %".102" to i128
  %".104" = zext i64 0 to i128
  %".105" = shl i128 %".104", 64
  %".106" = or i128 %".103", %".105"
  %".107" = zext i8 8 to i64
  %".108" = zext i8 0 to i64
  %".109" = shl i64 %".108", 8
  %".110" = or i64 %".107", %".109"
  %".111" = zext i8 0 to i64
  %".112" = shl i64 %".111", 16
  %".113" = or i64 %".110", %".112"
  %".114" = zext i8 0 to i64
  %".115" = shl i64 %".114", 24
  %".116" = or i64 %".113", %".115"
  %".117" = zext i8 0 to i64
  %".118" = shl i64 %".117", 32
  %".119" = or i64 %".116", %".118"
  %".120" = zext i8 0 to i64
  %".121" = shl i64 %".120", 40
  %".122" = or i64 %".119", %".121"
  %".123" = zext i8 0 to i64
  %".124" = shl i64 %".123", 48
  %".125" = or i64 %".122", %".124"
  %".126" = zext i8 0 to i64
  %".127" = shl i64 %".126", 56
  %".128" = or i64 %".125", %".127"
  %".129" = zext i64 %".128" to i128
  %".130" = udiv i128 %".106", %".129"
  %".131" = trunc i128 %".130" to i64
  %".132" = sub i64 %".43", %".131"
  %".133" = xor i64 %".131", %".132"
  %".134" = xor i64 %".43", %".133"
  %".135" = xor i64 %".43", %".132"
  %".136" = xor i64 %".43", %".131"
  %".137" = and i64 %".135", %".136"
  %".138" = xor i64 %".134", %".137"
  %".139" = lshr i64 %".138", 63
  %".140" = trunc i64 %".139" to i1
  %".141" = icmp eq i1 %".140", 1
  br i1 %".141", label %".3.if", label %".3.else"
.3.if:
  br label %".3.endif"
.3.else:
  br label %".3.endif"
.3.endif:
  %".145" = phi i8 [1, %".3.if"], [0, %".3.else"]
  %".146" = zext i8 %".145" to i64
  %".147" = lshr i64 %".131", 8
  %".148" = trunc i64 %".147" to i56
  %".149" = zext i56 %".148" to i64
  %".150" = shl i64 %".149", 8
  %".151" = or i64 %".146", %".150"
  %".152" = trunc i64 %".151" to i8
  %".153" = zext i8 %".152" to i32
  %".154" = zext i32 %".153" to i64
  %".155" = trunc i64 %".154" to i32
  %".156" = zext i32 %".155" to i64
  %".157" = trunc i64 %".156" to i32
  %".158" = trunc i64 %".156" to i32
  %".159" = and i32 %".157", %".158"
  %".160" = icmp eq i32 %".159", 0
  br i1 %".160", label %".3.endif.if", label %".3.endif.else"
.3.endif.if:
  br label %".3.endif.endif"
.3.endif.else:
  br label %".3.endif.endif"
.3.endif.endif:
  %".164" = phi i1 [1, %".3.endif.if"], [0, %".3.endif.else"]
  %".165" = icmp eq i1 %".164", 1
  br i1 %".165", label %".3.endif.endif.if", label %".3.endif.endif.else"
.3.endif.endif.if:
  br label %".3.endif.endif.endif"
.3.endif.endif.else:
  br label %".3.endif.endif.endif"
.3.endif.endif.endif:
  %".169" = phi i1 [1, %".3.endif.endif.if"], [0, %".3.endif.endif.else"]
  br i1 %".169", label %".3.endif.endif.endif.if", label %".3.endif.endif.endif.else"
.3.endif.endif.endif.if:
  %".171" = add i64 712404564, %"SymVar_0"
  %".172" = zext i8 59 to i64
  %".173" = and i64 %".172", 63
  %".174" = lshr i64 %".171", %".173"
  %".175" = add i64 712404564, %"SymVar_0"
  %".176" = zext i8 5 to i64
  %".177" = and i64 %".176", 63
  %".178" = shl i64 %".175", %".177"
  %".179" = or i64 %".174", %".178"
  %".180" = zext i64 %".179" to i128
  %".181" = zext i64 0 to i128
  %".182" = shl i128 %".181", 64
  %".183" = or i128 %".180", %".182"
  %".184" = zext i8 5 to i64
  %".185" = zext i8 0 to i64
  %".186" = shl i64 %".185", 8
  %".187" = or i64 %".184", %".186"
  %".188" = zext i8 0 to i64
  %".189" = shl i64 %".188", 16
  %".190" = or i64 %".187", %".189"
  %".191" = zext i8 0 to i64
  %".192" = shl i64 %".191", 24
  %".193" = or i64 %".190", %".192"
  %".194" = zext i8 0 to i64
  %".195" = shl i64 %".194", 32
  %".196" = or i64 %".193", %".195"
  %".197" = zext i8 0 to i64
  %".198" = shl i64 %".197", 40
  %".199" = or i64 %".196", %".198"
  %".200" = zext i8 0 to i64
  %".201" = shl i64 %".200", 48
  %".202" = or i64 %".199", %".201"
  %".203" = zext i8 0 to i64
  %".204" = shl i64 %".203", 56
  %".205" = or i64 %".202", %".204"
  %".206" = zext i64 %".205" to i128
  %".207" = udiv i128 %".183", %".206"
  %".208" = trunc i128 %".207" to i64
  %".209" = add i64 %".208", %"SymVar_0"
  %".210" = zext i8 1 to i64
  %".211" = and i64 %".210", 63
  %".212" = lshr i64 %".209", %".211"
  %".213" = and i64 15, %".212"
  %".214" = or i64 1, %".213"
  %".215" = sub i64 64, %".214"
  %".216" = trunc i64 %".215" to i32
  %".217" = zext i32 %".216" to i64
  %".218" = trunc i64 %".217" to i8
  %".219" = zext i8 %".218" to i64
  %".220" = and i64 %".219", 63
  %".221" = lshr i64 %".179", %".220"
  %".222" = zext i8 1 to i64
  %".223" = and i64 %".222", 63
  %".224" = lshr i64 %".209", %".223"
  %".225" = and i64 15, %".224"
  %".226" = or i64 1, %".225"
  %".227" = trunc i64 %".226" to i32
  %".228" = zext i32 %".227" to i64
  %".229" = trunc i64 %".228" to i8
  %".230" = zext i8 %".229" to i64
  %".231" = and i64 %".230", 63
  %".232" = shl i64 %".179", %".231"
  %".233" = or i64 %".221", %".232"
  %".234" = add i64 1069045554, %"SymVar_0"
  %".235" = zext i8 57 to i64
  %".236" = and i64 %".235", 63
  %".237" = shl i64 %".234", %".236"
  %".238" = zext i8 7 to i64
  %".239" = and i64 %".238", 63
  %".240" = lshr i64 %".234", %".239"
  %".241" = or i64 %".237", %".240"
  %".242" = sub i64 %"SymVar_0", 417914900
  %".243" = add i64 191945078, %".179"
  %".244" = add i64 %".243", 774380697
  %".245" = sub i64 %".242", %".244"
  %".246" = trunc i64 %".245" to i8
  %".247" = zext i8 %".246" to i64
  %".248" = lshr i64 %".245", 8
  %".249" = trunc i64 %".248" to i8
  %".250" = zext i8 %".249" to i64
  %".251" = shl i64 %".250", 8
  %".252" = or i64 %".247", %".251"
  %".253" = lshr i64 %".245", 56
  %".254" = trunc i64 %".253" to i8
  %".255" = zext i8 %".254" to i32
  %".256" = zext i32 %".255" to i64
  %".257" = trunc i64 %".256" to i8
  %".258" = zext i8 %".257" to i32
  %".259" = zext i32 %".258" to i64
  %".260" = trunc i64 %".259" to i8
  %".261" = zext i8 %".260" to i64
  %".262" = shl i64 %".261", 16
  %".263" = or i64 %".252", %".262"
  %".264" = lshr i64 %".245", 24
  %".265" = trunc i64 %".264" to i8
  %".266" = zext i8 %".265" to i64
  %".267" = shl i64 %".266", 24
  %".268" = or i64 %".263", %".267"
  %".269" = lshr i64 %".245", 32
  %".270" = trunc i64 %".269" to i8
  %".271" = zext i8 %".270" to i64
  %".272" = shl i64 %".271", 32
  %".273" = or i64 %".268", %".272"
  %".274" = lshr i64 %".245", 40
  %".275" = trunc i64 %".274" to i8
  %".276" = zext i8 %".275" to i64
  %".277" = shl i64 %".276", 40
  %".278" = or i64 %".273", %".277"
  %".279" = lshr i64 %".245", 48
  %".280" = trunc i64 %".279" to i8
  %".281" = zext i8 %".280" to i64
  %".282" = shl i64 %".281", 48
  %".283" = or i64 %".278", %".282"
  %".284" = lshr i64 %".245", 16
  %".285" = trunc i64 %".284" to i8
  %".286" = zext i8 %".285" to i32
  %".287" = zext i32 %".286" to i64
  %".288" = trunc i64 %".287" to i8
  %".289" = zext i8 %".288" to i32
  %".290" = zext i32 %".289" to i64
  %".291" = trunc i64 %".290" to i8
  %".292" = zext i8 %".291" to i32
  %".293" = zext i32 %".292" to i64
  %".294" = trunc i64 %".293" to i8
  %".295" = zext i8 %".294" to i32
  %".296" = zext i32 %".295" to i64
  %".297" = trunc i64 %".296" to i8
  %".298" = zext i8 %".297" to i64
  %".299" = shl i64 %".298", 56
  %".300" = or i64 %".283", %".299"
  %".301" = add i64 %".241", %".300"
  %".302" = zext i8 2 to i64
  %".303" = and i64 %".302", 63
  %".304" = lshr i64 %".301", %".303"
  %".305" = and i64 15, %".304"
  %".306" = or i64 1, %".305"
  %".307" = sub i64 64, %".306"
  %".308" = trunc i64 %".307" to i32
  %".309" = zext i32 %".308" to i64
  %".310" = trunc i64 %".309" to i8
  %".311" = zext i8 %".310" to i64
  %".312" = and i64 %".311", 63
  %".313" = lshr i64 %".233", %".312"
  %".314" = zext i8 1 to i64
  %".315" = and i64 %".314", 63
  %".316" = lshr i64 %".209", %".315"
  %".317" = and i64 15, %".316"
  %".318" = or i64 1, %".317"
  %".319" = sub i64 64, %".318"
  %".320" = trunc i64 %".319" to i32
  %".321" = zext i32 %".320" to i64
  %".322" = trunc i64 %".321" to i8
  %".323" = zext i8 %".322" to i64
  %".324" = and i64 %".323", 63
  %".325" = lshr i64 %".179", %".324"
  %".326" = zext i8 1 to i64
  %".327" = and i64 %".326", 63
  %".328" = lshr i64 %".209", %".327"
  %".329" = and i64 15, %".328"
  %".330" = or i64 1, %".329"
  %".331" = trunc i64 %".330" to i32
  %".332" = zext i32 %".331" to i64
  %".333" = trunc i64 %".332" to i8
  %".334" = zext i8 %".333" to i64
  %".335" = and i64 %".334", 63
  %".336" = shl i64 %".179", %".335"
  %".337" = or i64 %".325", %".336"
  %".338" = zext i8 57 to i64
  %".339" = and i64 %".338", 63
  %".340" = shl i64 %".234", %".339"
  %".341" = zext i8 7 to i64
  %".342" = and i64 %".341", 63
  %".343" = lshr i64 %".234", %".342"
  %".344" = or i64 %".340", %".343"
  %".345" = zext i8 %".246" to i64
  %".346" = zext i8 %".249" to i64
  %".347" = shl i64 %".346", 8
  %".348" = or i64 %".345", %".347"
  %".349" = zext i8 %".260" to i64
  %".350" = shl i64 %".349", 16
  %".351" = or i64 %".348", %".350"
  %".352" = zext i8 %".265" to i64
  %".353" = shl i64 %".352", 24
  %".354" = or i64 %".351", %".353"
  %".355" = zext i8 %".270" to i64
  %".356" = shl i64 %".355", 32
  %".357" = or i64 %".354", %".356"
  %".358" = zext i8 %".275" to i64
  %".359" = shl i64 %".358", 40
  %".360" = or i64 %".357", %".359"
  %".361" = zext i8 %".280" to i64
  %".362" = shl i64 %".361", 48
  %".363" = or i64 %".360", %".362"
  %".364" = zext i8 %".297" to i64
  %".365" = shl i64 %".364", 56
  %".366" = or i64 %".363", %".365"
  %".367" = add i64 %".344", %".366"
  %".368" = zext i8 2 to i64
  %".369" = and i64 %".368", 63
  %".370" = lshr i64 %".367", %".369"
  %".371" = and i64 15, %".370"
  %".372" = or i64 1, %".371"
  %".373" = trunc i64 %".372" to i32
  %".374" = zext i32 %".373" to i64
  %".375" = trunc i64 %".374" to i8
  %".376" = zext i8 %".375" to i64
  %".377" = and i64 %".376", 63
  %".378" = shl i64 %".337", %".377"
  %".379" = or i64 %".313", %".378"
  br label %".3.endif.endif.endif.endif"
.3.endif.endif.endif.else:
  %".381" = add i64 712404564, %"SymVar_0"
  %".382" = zext i8 59 to i64
  %".383" = and i64 %".382", 63
  %".384" = lshr i64 %".381", %".383"
  %".385" = add i64 712404564, %"SymVar_0"
  %".386" = zext i8 5 to i64
  %".387" = and i64 %".386", 63
  %".388" = shl i64 %".385", %".387"
  %".389" = or i64 %".384", %".388"
  %".390" = lshr i64 %".389", 48
  %".391" = trunc i64 %".390" to i8
  %".392" = zext i8 %".391" to i16
  %".393" = lshr i64 %".389", 56
  %".394" = trunc i64 %".393" to i8
  %".395" = zext i8 %".394" to i16
  %".396" = shl i16 %".395", 8
  %".397" = or i16 %".392", %".396"
  %".398" = zext i16 %".397" to i32
  %".399" = zext i32 %".398" to i64
  %".400" = trunc i64 %".399" to i16
  %".401" = zext i16 %".400" to i32
  %".402" = zext i32 %".401" to i64
  %".403" = trunc i64 %".402" to i16
  %".404" = trunc i16 %".403" to i8
  %".405" = zext i8 %".404" to i64
  %".406" = trunc i64 %".402" to i16
  %".407" = lshr i16 %".406", 8
  %".408" = trunc i16 %".407" to i8
  %".409" = zext i8 %".408" to i64
  %".410" = shl i64 %".409", 8
  %".411" = or i64 %".405", %".410"
  %".412" = lshr i64 %".389", 40
  %".413" = trunc i64 %".412" to i8
  %".414" = zext i8 %".413" to i32
  %".415" = zext i32 %".414" to i64
  %".416" = trunc i64 %".415" to i8
  %".417" = zext i8 %".416" to i32
  %".418" = zext i32 %".417" to i64
  %".419" = trunc i64 %".418" to i8
  %".420" = zext i8 %".419" to i32
  %".421" = zext i32 %".420" to i64
  %".422" = trunc i64 %".421" to i8
  %".423" = zext i8 %".422" to i32
  %".424" = zext i32 %".423" to i64
  %".425" = trunc i64 %".424" to i8
  %".426" = zext i8 %".425" to i32
  %".427" = zext i32 %".426" to i64
  %".428" = trunc i64 %".427" to i8
  %".429" = zext i8 %".428" to i32
  %".430" = zext i32 %".429" to i64
  %".431" = trunc i64 %".430" to i8
  %".432" = zext i8 %".431" to i32
  %".433" = zext i32 %".432" to i64
  %".434" = trunc i64 %".433" to i8
  %".435" = zext i8 %".434" to i32
  %".436" = zext i32 %".435" to i64
  %".437" = trunc i64 %".436" to i8
  %".438" = zext i8 %".437" to i64
  %".439" = shl i64 %".438", 16
  %".440" = or i64 %".411", %".439"
  %".441" = lshr i64 %".389", 16
  %".442" = trunc i64 %".441" to i8
  %".443" = zext i8 %".442" to i32
  %".444" = zext i32 %".443" to i64
  %".445" = trunc i64 %".444" to i8
  %".446" = zext i8 %".445" to i32
  %".447" = zext i32 %".446" to i64
  %".448" = trunc i64 %".447" to i8
  %".449" = zext i8 %".448" to i64
  %".450" = shl i64 %".449", 24
  %".451" = or i64 %".440", %".450"
  %".452" = lshr i64 %".389", 32
  %".453" = trunc i64 %".452" to i8
  %".454" = zext i8 %".453" to i64
  %".455" = shl i64 %".454", 32
  %".456" = or i64 %".451", %".455"
  %".457" = lshr i64 %".389", 24
  %".458" = trunc i64 %".457" to i8
  %".459" = zext i8 %".458" to i32
  %".460" = zext i32 %".459" to i64
  %".461" = trunc i64 %".460" to i8
  %".462" = zext i8 %".461" to i32
  %".463" = zext i32 %".462" to i64
  %".464" = trunc i64 %".463" to i8
  %".465" = zext i8 %".464" to i64
  %".466" = shl i64 %".465", 40
  %".467" = or i64 %".456", %".466"
  %".468" = trunc i64 %".389" to i8
  %".469" = zext i8 %".468" to i16
  %".470" = lshr i64 %".389", 8
  %".471" = trunc i64 %".470" to i8
  %".472" = zext i8 %".471" to i16
  %".473" = shl i16 %".472", 8
  %".474" = or i16 %".469", %".473"
  %".475" = zext i16 %".474" to i32
  %".476" = zext i32 %".475" to i64
  %".477" = trunc i64 %".476" to i16
  %".478" = zext i16 %".477" to i32
  %".479" = zext i32 %".478" to i64
  %".480" = trunc i64 %".479" to i16
  %".481" = zext i16 %".480" to i32
  %".482" = zext i32 %".481" to i64
  %".483" = trunc i64 %".482" to i16
  %".484" = zext i16 %".483" to i32
  %".485" = zext i32 %".484" to i64
  %".486" = trunc i64 %".485" to i16
  %".487" = trunc i16 %".486" to i8
  %".488" = zext i8 %".487" to i64
  %".489" = shl i64 %".488", 48
  %".490" = or i64 %".467", %".489"
  %".491" = trunc i64 %".485" to i16
  %".492" = lshr i16 %".491", 8
  %".493" = trunc i16 %".492" to i8
  %".494" = zext i8 %".493" to i64
  %".495" = shl i64 %".494", 56
  %".496" = or i64 %".490", %".495"
  %".497" = zext i64 %".389" to i128
  %".498" = zext i64 0 to i128
  %".499" = shl i128 %".498", 64
  %".500" = or i128 %".497", %".499"
  %".501" = zext i8 5 to i64
  %".502" = zext i8 0 to i64
  %".503" = shl i64 %".502", 8
  %".504" = or i64 %".501", %".503"
  %".505" = zext i8 0 to i64
  %".506" = shl i64 %".505", 16
  %".507" = or i64 %".504", %".506"
  %".508" = zext i8 0 to i64
  %".509" = shl i64 %".508", 24
  %".510" = or i64 %".507", %".509"
  %".511" = zext i8 0 to i64
  %".512" = shl i64 %".511", 32
  %".513" = or i64 %".510", %".512"
  %".514" = zext i8 0 to i64
  %".515" = shl i64 %".514", 40
  %".516" = or i64 %".513", %".515"
  %".517" = zext i8 0 to i64
  %".518" = shl i64 %".517", 48
  %".519" = or i64 %".516", %".518"
  %".520" = zext i8 0 to i64
  %".521" = shl i64 %".520", 56
  %".522" = or i64 %".519", %".521"
  %".523" = zext i64 %".522" to i128
  %".524" = udiv i128 %".500", %".523"
  %".525" = trunc i128 %".524" to i64
  %".526" = add i64 %".525", %"SymVar_0"
  %".527" = zext i8 1 to i64
  %".528" = and i64 %".527", 63
  %".529" = lshr i64 %".526", %".528"
  %".530" = and i64 15, %".529"
  %".531" = or i64 1, %".530"
  %".532" = sub i64 64, %".531"
  %".533" = trunc i64 %".532" to i32
  %".534" = zext i32 %".533" to i64
  %".535" = trunc i64 %".534" to i8
  %".536" = zext i8 %".535" to i64
  %".537" = and i64 %".536", 63
  %".538" = lshr i64 %".496", %".537"
  %".539" = zext i8 %".404" to i64
  %".540" = zext i8 %".408" to i64
  %".541" = shl i64 %".540", 8
  %".542" = or i64 %".539", %".541"
  %".543" = zext i8 %".437" to i64
  %".544" = shl i64 %".543", 16
  %".545" = or i64 %".542", %".544"
  %".546" = zext i8 %".448" to i64
  %".547" = shl i64 %".546", 24
  %".548" = or i64 %".545", %".547"
  %".549" = zext i8 %".453" to i64
  %".550" = shl i64 %".549", 32
  %".551" = or i64 %".548", %".550"
  %".552" = zext i8 %".464" to i64
  %".553" = shl i64 %".552", 40
  %".554" = or i64 %".551", %".553"
  %".555" = zext i8 %".487" to i64
  %".556" = shl i64 %".555", 48
  %".557" = or i64 %".554", %".556"
  %".558" = zext i8 %".493" to i64
  %".559" = shl i64 %".558", 56
  %".560" = or i64 %".557", %".559"
  %".561" = zext i8 1 to i64
  %".562" = and i64 %".561", 63
  %".563" = lshr i64 %".526", %".562"
  %".564" = and i64 15, %".563"
  %".565" = or i64 1, %".564"
  %".566" = trunc i64 %".565" to i32
  %".567" = zext i32 %".566" to i64
  %".568" = trunc i64 %".567" to i8
  %".569" = zext i8 %".568" to i64
  %".570" = and i64 %".569", 63
  %".571" = shl i64 %".560", %".570"
  %".572" = or i64 %".538", %".571"
  %".573" = add i64 1069045554, %"SymVar_0"
  %".574" = zext i8 57 to i64
  %".575" = and i64 %".574", 63
  %".576" = shl i64 %".573", %".575"
  %".577" = zext i8 7 to i64
  %".578" = and i64 %".577", 63
  %".579" = lshr i64 %".573", %".578"
  %".580" = or i64 %".576", %".579"
  %".581" = sub i64 %"SymVar_0", 417914900
  %".582" = add i64 191945078, %".389"
  %".583" = add i64 %".582", 774380697
  %".584" = sub i64 %".581", %".583"
  %".585" = lshr i64 %".584", 48
  %".586" = trunc i64 %".585" to i8
  %".587" = zext i8 %".586" to i32
  %".588" = zext i32 %".587" to i64
  %".589" = trunc i64 %".588" to i8
  %".590" = zext i8 %".589" to i32
  %".591" = zext i32 %".590" to i64
  %".592" = trunc i64 %".591" to i8
  %".593" = zext i8 %".592" to i64
  %".594" = lshr i64 %".584", 8
  %".595" = trunc i64 %".594" to i8
  %".596" = zext i8 %".595" to i64
  %".597" = shl i64 %".596", 8
  %".598" = or i64 %".593", %".597"
  %".599" = lshr i64 %".584", 16
  %".600" = trunc i64 %".599" to i8
  %".601" = zext i8 %".600" to i32
  %".602" = zext i32 %".601" to i64
  %".603" = trunc i64 %".602" to i8
  %".604" = zext i8 %".603" to i32
  %".605" = zext i32 %".604" to i64
  %".606" = trunc i64 %".605" to i8
  %".607" = zext i8 %".606" to i32
  %".608" = zext i32 %".607" to i64
  %".609" = trunc i64 %".608" to i8
  %".610" = zext i8 %".609" to i32
  %".611" = zext i32 %".610" to i64
  %".612" = trunc i64 %".611" to i8
  %".613" = zext i8 %".612" to i32
  %".614" = zext i32 %".613" to i64
  %".615" = trunc i64 %".614" to i8
  %".616" = zext i8 %".615" to i32
  %".617" = zext i32 %".616" to i64
  %".618" = trunc i64 %".617" to i8
  %".619" = zext i8 %".618" to i32
  %".620" = zext i32 %".619" to i64
  %".621" = trunc i64 %".620" to i8
  %".622" = zext i8 %".621" to i32
  %".623" = zext i32 %".622" to i64
  %".624" = trunc i64 %".623" to i8
  %".625" = zext i8 %".624" to i64
  %".626" = shl i64 %".625", 16
  %".627" = or i64 %".598", %".626"
  %".628" = lshr i64 %".584", 24
  %".629" = trunc i64 %".628" to i8
  %".630" = zext i8 %".629" to i64
  %".631" = shl i64 %".630", 24
  %".632" = or i64 %".627", %".631"
  %".633" = lshr i64 %".584", 32
  %".634" = trunc i64 %".633" to i8
  %".635" = zext i8 %".634" to i64
  %".636" = shl i64 %".635", 32
  %".637" = or i64 %".632", %".636"
  %".638" = lshr i64 %".584", 40
  %".639" = trunc i64 %".638" to i8
  %".640" = zext i8 %".639" to i64
  %".641" = shl i64 %".640", 40
  %".642" = or i64 %".637", %".641"
  %".643" = trunc i64 %".584" to i8
  %".644" = zext i8 %".643" to i32
  %".645" = zext i32 %".644" to i64
  %".646" = trunc i64 %".645" to i8
  %".647" = zext i8 %".646" to i32
  %".648" = zext i32 %".647" to i64
  %".649" = trunc i64 %".648" to i8
  %".650" = zext i8 %".649" to i32
  %".651" = zext i32 %".650" to i64
  %".652" = trunc i64 %".651" to i8
  %".653" = zext i8 %".652" to i32
  %".654" = zext i32 %".653" to i64
  %".655" = trunc i64 %".654" to i8
  %".656" = zext i8 %".655" to i64
  %".657" = shl i64 %".656", 48
  %".658" = or i64 %".642", %".657"
  %".659" = lshr i64 %".584", 56
  %".660" = trunc i64 %".659" to i8
  %".661" = zext i8 %".660" to i32
  %".662" = zext i32 %".661" to i64
  %".663" = trunc i64 %".662" to i8
  %".664" = zext i8 %".663" to i32
  %".665" = zext i32 %".664" to i64
  %".666" = trunc i64 %".665" to i8
  %".667" = zext i8 %".666" to i32
  %".668" = zext i32 %".667" to i64
  %".669" = trunc i64 %".668" to i8
  %".670" = zext i8 %".669" to i32
  %".671" = zext i32 %".670" to i64
  %".672" = trunc i64 %".671" to i8
  %".673" = zext i8 %".672" to i64
  %".674" = shl i64 %".673", 56
  %".675" = or i64 %".658", %".674"
  %".676" = add i64 %".580", %".675"
  %".677" = zext i8 2 to i64
  %".678" = and i64 %".677", 63
  %".679" = lshr i64 %".676", %".678"
  %".680" = and i64 15, %".679"
  %".681" = or i64 1, %".680"
  %".682" = sub i64 64, %".681"
  %".683" = trunc i64 %".682" to i32
  %".684" = zext i32 %".683" to i64
  %".685" = trunc i64 %".684" to i8
  %".686" = zext i8 %".685" to i64
  %".687" = and i64 %".686", 63
  %".688" = lshr i64 %".572", %".687"
  %".689" = zext i8 %".404" to i64
  %".690" = zext i8 %".408" to i64
  %".691" = shl i64 %".690", 8
  %".692" = or i64 %".689", %".691"
  %".693" = zext i8 %".437" to i64
  %".694" = shl i64 %".693", 16
  %".695" = or i64 %".692", %".694"
  %".696" = zext i8 %".448" to i64
  %".697" = shl i64 %".696", 24
  %".698" = or i64 %".695", %".697"
  %".699" = zext i8 %".453" to i64
  %".700" = shl i64 %".699", 32
  %".701" = or i64 %".698", %".700"
  %".702" = zext i8 %".464" to i64
  %".703" = shl i64 %".702", 40
  %".704" = or i64 %".701", %".703"
  %".705" = zext i8 %".487" to i64
  %".706" = shl i64 %".705", 48
  %".707" = or i64 %".704", %".706"
  %".708" = zext i8 %".493" to i64
  %".709" = shl i64 %".708", 56
  %".710" = or i64 %".707", %".709"
  %".711" = zext i8 1 to i64
  %".712" = and i64 %".711", 63
  %".713" = lshr i64 %".526", %".712"
  %".714" = and i64 15, %".713"
  %".715" = or i64 1, %".714"
  %".716" = sub i64 64, %".715"
  %".717" = trunc i64 %".716" to i32
  %".718" = zext i32 %".717" to i64
  %".719" = trunc i64 %".718" to i8
  %".720" = zext i8 %".719" to i64
  %".721" = and i64 %".720", 63
  %".722" = lshr i64 %".710", %".721"
  %".723" = zext i8 %".404" to i64
  %".724" = zext i8 %".408" to i64
  %".725" = shl i64 %".724", 8
  %".726" = or i64 %".723", %".725"
  %".727" = zext i8 %".437" to i64
  %".728" = shl i64 %".727", 16
  %".729" = or i64 %".726", %".728"
  %".730" = zext i8 %".448" to i64
  %".731" = shl i64 %".730", 24
  %".732" = or i64 %".729", %".731"
  %".733" = zext i8 %".453" to i64
  %".734" = shl i64 %".733", 32
  %".735" = or i64 %".732", %".734"
  %".736" = zext i8 %".464" to i64
  %".737" = shl i64 %".736", 40
  %".738" = or i64 %".735", %".737"
  %".739" = zext i8 %".487" to i64
  %".740" = shl i64 %".739", 48
  %".741" = or i64 %".738", %".740"
  %".742" = zext i8 %".493" to i64
  %".743" = shl i64 %".742", 56
  %".744" = or i64 %".741", %".743"
  %".745" = zext i8 1 to i64
  %".746" = and i64 %".745", 63
  %".747" = lshr i64 %".526", %".746"
  %".748" = and i64 15, %".747"
  %".749" = or i64 1, %".748"
  %".750" = trunc i64 %".749" to i32
  %".751" = zext i32 %".750" to i64
  %".752" = trunc i64 %".751" to i8
  %".753" = zext i8 %".752" to i64
  %".754" = and i64 %".753", 63
  %".755" = shl i64 %".744", %".754"
  %".756" = or i64 %".722", %".755"
  %".757" = zext i8 57 to i64
  %".758" = and i64 %".757", 63
  %".759" = shl i64 %".573", %".758"
  %".760" = zext i8 7 to i64
  %".761" = and i64 %".760", 63
  %".762" = lshr i64 %".573", %".761"
  %".763" = or i64 %".759", %".762"
  %".764" = zext i8 %".592" to i64
  %".765" = zext i8 %".595" to i64
  %".766" = shl i64 %".765", 8
  %".767" = or i64 %".764", %".766"
  %".768" = zext i8 %".624" to i64
  %".769" = shl i64 %".768", 16
  %".770" = or i64 %".767", %".769"
  %".771" = zext i8 %".629" to i64
  %".772" = shl i64 %".771", 24
  %".773" = or i64 %".770", %".772"
  %".774" = zext i8 %".634" to i64
  %".775" = shl i64 %".774", 32
  %".776" = or i64 %".773", %".775"
  %".777" = zext i8 %".639" to i64
  %".778" = shl i64 %".777", 40
  %".779" = or i64 %".776", %".778"
  %".780" = zext i8 %".655" to i64
  %".781" = shl i64 %".780", 48
  %".782" = or i64 %".779", %".781"
  %".783" = zext i8 %".672" to i64
  %".784" = shl i64 %".783", 56
  %".785" = or i64 %".782", %".784"
  %".786" = add i64 %".763", %".785"
  %".787" = zext i8 2 to i64
  %".788" = and i64 %".787", 63
  %".789" = lshr i64 %".786", %".788"
  %".790" = and i64 15, %".789"
  %".791" = or i64 1, %".790"
  %".792" = trunc i64 %".791" to i32
  %".793" = zext i32 %".792" to i64
  %".794" = trunc i64 %".793" to i8
  %".795" = zext i8 %".794" to i64
  %".796" = and i64 %".795", 63
  %".797" = shl i64 %".756", %".796"
  %".798" = or i64 %".688", %".797"
  br label %".3.endif.endif.endif.endif"
.3.endif.endif.endif.endif:
  %".800" = phi i64 [%".379", %".3.endif.endif.endif.if"], [%".798", %".3.endif.endif.endif.else"]
  ret i64 %".800"
}
